Skip to content

Editorial: Merge PRs for 2022#668

Merged
leobalter merged 18 commits intomasterfrom
editorial-2022
Mar 28, 2022
Merged

Editorial: Merge PRs for 2022#668
leobalter merged 18 commits intomasterfrom
editorial-2022

Conversation

@leobalter
Copy link
Member

@leobalter leobalter commented Mar 28, 2022

This is a group of commits from the following respective Pull Requests where I had to resolve conflicts locally. The commit names are preserved.

Closes #630
Closes #660
Closes #610

@leobalter leobalter self-assigned this Mar 28, 2022
@leobalter leobalter force-pushed the editorial-2022 branch 4 times, most recently from cbbf636 to 49e3212 Compare March 28, 2022 08:11
@leobalter leobalter marked this pull request as ready for review March 28, 2022 08:36
@leobalter leobalter merged commit 233d29c into master Mar 28, 2022
@leobalter leobalter deleted the editorial-2022 branch March 28, 2022 08:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants